Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 139, 147, 162, 169, 172, 173, 174, 180, 181, 182, 183, 184, 185, 190, 198, 213, 220, 223, 224, 225, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

B grade: { }

C grade: { 259, 260, 301, 302 }

F grade: { 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230}

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30, 37, 40, 44, 48, 50, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 73, 74, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 108, 111, 112, 113, 115, 116, 117, 119, 120, 121, 122, 123, 124, 126, 127, 129, 131, 132, 133, 134, 136, 138, 139, 140, 142, 144, 146, 147, 148, 150, 152, 154, 155, 156, 157, 162, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 177, 179, 181, 183, 187, 189, 190, 191, 193, 195, 197, 199, 201, 203, 205, 206, 207, 208, 213, 216, 217, 218, 219, 221, 222, 223, 225, 226, 228, 230, 232, 234, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 256, 259, 260, 264, 265, 266, 267, 269, 270, 271, 273, 274, 275, 277, 278, 280, 281, 283, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298, 300, 301, 302, 306, 307, 308, 309, 311, 312, 313, 315, 316, 317, 319, 322, 323, 325, 327, 328, 329, 330 }

B grade: { 75, 77, 89, 110, 114, 118, 128, 130, 135, 137, 141, 143, 145, 149, 151, 153, 158, 159, 160, 161, 163, 164, 176, 178, 186, 188, 192, 194, 196, 200, 202, 204, 209, 210, 211, 212, 214, 215, 227, 229, 254, 255, 257, 258, 261, 262, 263, 268, 272, 276, 279, 282, 284, 292, 299, 303, 304, 305, 310, 314, 318, 320, 321, 324, 326 }

C grade: { 72, 125, 180, 182, 184, 185, 198, 220, 224, 231, 233, 235, 236 }

F grade: { 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 41, 42, 43, 45, 46, 47, 49, 51, 104, 105, 106, 107, 109}

2.1.3 Maple

A grade: { 4, 10, 16, 22, 30, 37, 44, 55, 60, 64, 66, 68, 89, 94, 99, 102, 119, 135, 137, 139, 141, 143, 145, 147, 149, 162, 169, 172, 173, 174, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 213, 223, 224, 225, 231, 232, 233, 234, 235, 236, 240, 246, 251, 256, 269, 292, 296, 298, 300, 309, 311, 313, 315, 317, 319 }

B grade: { 25, 48, 50, 52, 111, 113, 115, 121, 220, 267, 271, 273, 275, 277 }

C grade: { 103, 117, 259, 261, 262, 263, 301, 303, 304, 305 }

F grade: { 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 45, 46, 47, 49, 51, 53, 54, 56, 57, 58, 59, 61, 62, 63, 65, 67, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 92, 93, 95, 96, 97, 98, 100, 101, 104, 105, 106, 107, 108, 109, 110, 112, 114, 116, 118, 120, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 136, 138, 140, 142, 144, 146, 148, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 252, 253, 254, 255, 257, 258, 260, 264, 265, 266, 268, 270, 272, 274, 276, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 302, 306, 307, 308, 310, 312, 314, 316, 318, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.4 Maxima

A grade: { 4, 10, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 89, 94, 102, 103, 104, 105, 106, 107, 108, 109, 139, 147, 162, 190, 198, 213, 240, 292

B grade: { 1, 2, 3, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 69, 72, 73, 86, 87, 88, 90, 91, 92, 93, 95, 96, 97, 98, 99, 100, 101, 122, 123, 124, 125, 126, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 148, 169, 172, 173, 174, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 199, 220, 223, 224, 225, 246, 256, 259, 260, 261, 262, 263, 296, 298, 300, 301, 302, 303, 304, 305 }

C grade: { }

F grade: { 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 70, 71, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 127, 128, 129, 130, 131, 132, 133, 134, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 251, 252, 253, 254, 255, 257, 258, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30, 37, 44, 69, 70, 71, 72, 73, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 122, 123, 124, 125, 126, 139, 162, 172, 190, 213, 223, 246, 251, 256, 259, 261, 262, 263, 264, 296, 300, 301, 303, 304, 305, 306 }

B grade: { 147, 169, 173, 174, 198, 220, 224, 225, 240, 265, 292, 298, 307 }

C grade: { 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 45, 46, 47, 49, 51, 104, 105, 106, 107, 108, 109, 260, 302 }

F grade: { 48, 50, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 170, 171, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 221, 222, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 247, 248, 249, 250, 252, 253, 254, 255, 257, 258, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 297, 299, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.6 Sympy

A grade: { 4, 5, 6, 10, 12, 16, 22, 25, 30, 37, 44, 89, 90, 94, 99, 102, 135, 136, 137, 138, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 162, 172, 173, 186, 187, 188, 189, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 213, 224, 240, 292 }

B grade: { }

C grade: { 31, 32, 38, 39 }

F grade: { 1, 2, 3, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 33, 34, 35, 36, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 91, 92, 93, 95, 96, 97, 98, 100, 101, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 139, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 170, 171, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 190, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.1.7 Giac

A grade: { 25, 27, 28, 29, 30, 34, 35, 36, 37, 44, 48, 50, 103, 105, 107, 135, 136, 137, 138, 139, 140, 141, 142, 148, 186, 187, 188, 193, 195, 199, 262, 304 }

B grade: { 1, 2, 3, 7, 8, 9, 73, 86, 87, 88, 91, 92, 93, 126, 143, 144, 145, 146, 147, 149, 169, 173, 189, 190, 191, 192, 194, 196, 197, 198, 200, 263, 305 }

C grade: { 26, 33, 40, 47, 49, 51, 104, 106, 108, 260, 302 }

F grade: { 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 31, 32, 38, 39, 41, 42, 43, 45, 46, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 94, 95, 96, 97, 98, 99, 100, 101, 102, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 170, 171, 172, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 261, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 303, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 44 0 296 130 0 1246
normalized size 1 1. 0.77 0. 5.19 2.28 0. 21.86
time (sec) N/A 0.017 0.075 0.039 1.201 0.484 0. 1.315


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 44 0 296 130 0 1246
normalized size 1 1. 0.77 0. 5.19 2.28 0. 21.86
time (sec) N/A 0.013 0.059 0.033 1.235 0.483 0. 1.262


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 40 0 278 122 0 1191
normalized size 1 1. 0.77 0. 5.35 2.35 0. 22.9
time (sec) N/A 0.011 0.051 0.033 1.2 0.488 0. 1.192


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 38 20 26 53 39 0
normalized size 1 1. 2. 1.05 1.37 2.79 2.05 0.
time (sec) N/A 0.015 0.027 0.017 1.139 0.495 3.066 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 40 0 282 122 286 0
normalized size 1 1. 0.7 0. 4.95 2.14 5.02 0.
time (sec) N/A 0.018 0.058 0.036 1.238 0.494 32.247 0.


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 44 0 292 127 352 0
normalized size 1 1. 0.77 0. 5.12 2.23 6.18 0.
time (sec) N/A 0.015 0.061 0.032 1.213 0.489 59.515 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 61 0 406 215 0 1125
normalized size 1 1. 0.63 0. 4.19 2.22 0. 11.6
time (sec) N/A 0.031 0.143 0.078 1.299 0.493 0. 1.492


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 57 0 381 209 0 1107
normalized size 1 1. 0.58 0. 3.89 2.13 0. 11.3
time (sec) N/A 0.022 0.11 0.069 1.161 0.49 0. 1.447


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 56 0 378 198 0 1061
normalized size 1 1. 0.64 0. 4.3 2.25 0. 12.06
time (sec) N/A 0.019 0.09 0.068 1.252 0.496 0. 1.388


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 36 52 74 119 56 0
normalized size 1 1. 0.92 1.33 1.9 3.05 1.44 0.
time (sec) N/A 0.03 0.071 0.022 1.147 0.491 23.001 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 57 0 382 193 0 0
normalized size 1 1. 0.6 0. 4.02 2.03 0. 0.
time (sec) N/A 0.026 0.098 0.059 1.133 0.496 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 58 0 378 198 643 0
normalized size 1 1. 0.59 0. 3.86 2.02 6.56 0.
time (sec) N/A 0.026 0.101 0.058 1.151 0.499 82.082 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 122 0 1361 343 0 0
normalized size 1 1. 0.76 0. 8.51 2.14 0. 0.
time (sec) N/A 0.055 0.507 0.065 1.23 0.51 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 125 0 1372 350 0 0
normalized size 1 1. 0.79 0. 8.68 2.22 0. 0.
time (sec) N/A 0.045 0.476 0.063 1.43 0.52 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 121 0 1337 329 0 0
normalized size 1 1. 0.81 0. 8.97 2.21 0. 0.
time (sec) N/A 0.037 0.483 0.069 1.245 0.504 0. 0.


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 45 35 315 109 83 0
normalized size 1 1. 1.05 0.81 7.33 2.53 1.93 0.
time (sec) N/A 0.032 0.059 0.025 1.103 0.492 55.585 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 125 0 1343 321 0 0
normalized size 1 1. 0.79 0. 8.5 2.03 0. 0.
time (sec) N/A 0.047 0.335 0.063 1.286 0.51 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 125 0 1359 333 0 0
normalized size 1 1. 0.79 0. 8.6 2.11 0. 0.
time (sec) N/A 0.048 0.385 0.063 1.24 0.51 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 171 0 1494 454 0 0
normalized size 1 1. 0.85 0. 7.4 2.25 0. 0.
time (sec) N/A 0.078 0.496 0.098 1.269 0.518 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 169 0 1465 443 0 0
normalized size 1 1. 0.8 0. 6.98 2.11 0. 0.
time (sec) N/A 0.061 0.436 0.079 1.411 0.518 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 168 0 1455 429 0 0
normalized size 1 1. 0.88 0. 7.62 2.25 0. 0.
time (sec) N/A 0.051 0.401 0.083 1.325 0.521 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 51 84 126 177 110 0
normalized size 1 1. 0.7 1.15 1.73 2.42 1.51 0.
time (sec) N/A 0.049 0.091 0.027 1.142 0.501 169.546 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 170 0 1465 420 0 0
normalized size 1 1. 0.84 0. 7.25 2.08 0. 0.
time (sec) N/A 0.066 0.5 0.075 1.371 0.523 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 169 0 1461 423 0 0
normalized size 1 1. 0.8 0. 6.96 2.01 0. 0.
time (sec) N/A 0.063 0.457 0.069 1.321 0.53 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 29 76 36 92 56 47
normalized size 1 1. 0.74 1.95 0.92 2.36 1.44 1.21
time (sec) N/A 0.014 0.016 0.024 1.117 0.483 2.02 1.143


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 133 133 0 0 111 159 0 367
normalized size 1 1. 0. 0. 0.83 1.2 0. 2.76
time (sec) N/A 0.277 0.253 0.059 1.199 0.497 0. 1.813


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 88 88 0 0 42 108 0 1
normalized size 1 1. 0. 0. 0.48 1.23 0. 0.01
time (sec) N/A 0.099 0.146 0.037 1.095 0.468 0. 1.464


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 88 88 0 0 42 107 0 1
normalized size 1 1. 0. 0. 0.48 1.22 0. 0.01
time (sec) N/A 0.052 0.116 0.035 1.212 0.471 0. 1.495


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 82 82 0 0 39 101 0 1
normalized size 1 1. 0. 0. 0.48 1.23 0. 0.01
time (sec) N/A 0.052 0.086 0.034 1.17 0.466 0. 1.277


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 5 5 5 6 7 20 5 8
normalized size 1 1. 1. 1.2 1.4 4. 1. 1.6
time (sec) N/A 0.004 0.001 0.012 1.064 0.431 0.279 1.14


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C C F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 86 86 0 0 45 107 214 0
normalized size 1 1. 0. 0. 0.52 1.24 2.49 0.
time (sec) N/A 0.061 0.072 0.038 1.131 0.472 14.281 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C C F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 88 88 0 0 47 112 240 0
normalized size 1 1. 0. 0. 0.53 1.27 2.73 0.
time (sec) N/A 0.053 0.09 0.035 1.242 0.472 71.619 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 117 117 0 0 234 316 0 672
normalized size 1 1. 0. 0. 2. 2.7 0. 5.74
time (sec) N/A 0.159 0.356 0.086 1.373 0.496 0. 2.53


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 76 76 0 0 63 157 0 1
normalized size 1 1. 0. 0. 0.83 2.07 0. 0.01
time (sec) N/A 0.076 0.251 0.08 1.273 0.471 0. 4.354


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 76 76 0 0 63 146 0 1
normalized size 1 1. 0. 0. 0.83 1.92 0. 0.01
time (sec) N/A 0.058 0.152 0.076 1.116 0.475 0. 1.824


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 68 68 0 0 55 144 0 1
normalized size 1 1. 0. 0. 0.81 2.12 0. 0.01
time (sec) N/A 0.055 0.101 0.079 1.165 0.469 0. 1.585


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 7 7 7 8 9 32 7 11
normalized size 1 1. 1. 1.14 1.29 4.57 1. 1.57
time (sec) N/A 0.006 0.001 0.012 1.093 0.437 0.339 1.107


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C C F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 74 74 0 0 65 150 240 0
normalized size 1 1. 0. 0. 0.88 2.03 3.24 0.
time (sec) N/A 0.068 0.149 0.065 1.164 0.471 75.767 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C C F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 76 76 0 0 73 151 464 0
normalized size 1 1. 0. 0. 0.96 1.99 6.11 0.
time (sec) N/A 0.062 0.129 0.061 1.101 0.47 55.452 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 169 0 263 387 0 2525
normalized size 1 1. 0.75 0. 1.16 1.71 0. 11.17
time (sec) N/A 0.079 1.188 0.084 1.298 0.503 0. 3.681


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) F(-2)
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 172 172 0 0 122 207 0 0
normalized size 1 1. 0. 0. 0.71 1.2 0. 0.
time (sec) N/A 0.161 0.216 0.072 1.199 0.47 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) F(-2)
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 178 178 0 0 151 250 0 0
normalized size 1 1. 0. 0. 0.85 1.4 0. 0.
time (sec) N/A 0.111 0.246 0.07 1.152 0.48 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) F(-2)
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 168 168 0 0 143 238 0 0
normalized size 1 1. 0. 0. 0.85 1.42 0. 0.
time (sec) N/A 0.105 0.133 0.069 1.159 0.475 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 7 7 7 8 9 42 7 11
normalized size 1 1. 1. 1.14 1.29 6. 1. 1.57
time (sec) N/A 0.005 0.001 0.013 0.994 0.432 0.389 1.107


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 176 176 0 0 165 244 0 0
normalized size 1 1. 0. 0. 0.94 1.39 0. 0.
time (sec) N/A 0.132 0.17 0.069 1.15 0.479 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 178 178 0 0 173 255 0 0
normalized size 1 1. 0. 0. 0.97 1.43 0. 0.
time (sec) N/A 0.114 0.205 0.072 1.143 0.48 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 112 112 0 0 65 149 0 255
normalized size 1 1. 0. 0. 0.58 1.33 0. 2.28
time (sec) N/A 0.194 0.23 0.064 1.062 0.486 0. 1.469


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 44 106 42 0 0 39
normalized size 1 1. 0.85 2.04 0.81 0. 0. 0.75
time (sec) N/A 0.035 0.059 0.039 1.009 0. 0. 1.185


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 106 106 0 0 181 252 0 473
normalized size 1 1. 0. 0. 1.71 2.38 0. 4.46
time (sec) N/A 0.145 0.317 0.061 1.062 0.487 0. 1.895


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 60 173 65 0 0 43
normalized size 1 1. 1.13 3.26 1.23 0. 0. 0.81
time (sec) N/A 0.045 0.1 0.069 1.022 0. 0. 1.269


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 218 218 0 0 278 350 0 1751
normalized size 1 1. 0. 0. 1.28 1.61 0. 8.03
time (sec) N/A 0.305 0.429 0.06 1.082 0.503 0. 2.456


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 103 284 101 0 0 0
normalized size 1 1. 1.05 2.9 1.03 0. 0. 0.
time (sec) N/A 0.061 0.121 0.081 1.086 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 94 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.086 1.394 0.349 0. 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 96 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.075 1.329 0.169 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 32 129 0 0 0 0
normalized size 1 1. 1.1 4.45 0. 0. 0. 0.
time (sec) N/A 0.027 0.083 0.938 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 99 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.088 1.402 0.168 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 95 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.09 1.364 0.169 0. 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 159 0 0 0 0 0
normalized size 1 1. 1.43 0. 0. 0. 0. 0.
time (sec) N/A 0.078 1.777 0.167 0. 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 161 0 0 0 0 0
normalized size 1 1. 1.48 0. 0. 0. 0. 0.
time (sec) N/A 0.073 1.798 0.166 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 58 131 0 0 0 0
normalized size 1 1. 0.85 1.93 0. 0. 0. 0.
time (sec) N/A 0.042 0.142 1.328 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 172 0 0 0 0 0
normalized size 1 1. 1.55 0. 0. 0. 0. 0.
time (sec) N/A 0.088 1.158 0.166 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 111 111 168 0 0 0 0 0
normalized size 1 1. 1.51 0. 0. 0. 0. 0.
time (sec) N/A 0.087 1.199 0.16 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 96 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.382 0.168 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 32 102 0 0 0 0
normalized size 1 1. 1.1 3.52 0. 0. 0. 0.
time (sec) N/A 0.027 0.091 0.692 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 96 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.918 0.168 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 57 190 0 0 0 0
normalized size 1 1. 0.89 2.97 0. 0. 0. 0.
time (sec) N/A 0.042 0.184 1.102 0. 0. 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 125 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.074 1.507 0.167 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 61 131 0 0 0 0
normalized size 1 1. 0.9 1.93 0. 0. 0. 0.
time (sec) N/A 0.042 0.214 1.235 0. 0. 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 81 0 543 146 0 0
normalized size 1 1. 1.65 0. 11.08 2.98 0. 0.
time (sec) N/A 0.039 0.132 0.415 2.442 0.459 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 341 0 0 1083 0 0
normalized size 1 1. 1.01 0. 0. 3.21 0. 0.
time (sec) N/A 0.17 1.909 0.115 0. 0.59 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 326 0 0 695 0 0
normalized size 1 1. 1.27 0. 0. 2.71 0. 0.
time (sec) N/A 0.118 1.208 0.092 0. 0.549 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F B A F(-2) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 102 0 3444 401 0 0
normalized size 1 1. 0.66 0. 22.36 2.6 0. 0.
time (sec) N/A 0.055 0.287 0.089 1.537 0.511 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 63 0 1705 238 0 7776
normalized size 1 1. 0.68 0. 18.53 2.59 0. 84.52
time (sec) N/A 0.025 0.135 0.05 1.264 0.496 0. 1.751


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 145 235 0 0 0 0 0
normalized size 1 0.97 1.57 0. 0. 0. 0. 0.
time (sec) N/A 0.126 1.973 0.431 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 149 145 488 0 0 0 0 0
normalized size 1 0.97 3.28 0. 0. 0. 0. 0.
time (sec) N/A 0.112 5.461 0.269 0. 0. 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 150 131 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.11 0.517 0.263 0. 0. 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 145 544 0 0 0 0 0
normalized size 1 0.97 3.63 0. 0. 0. 0. 0.
time (sec) N/A 0.113 5.175 0.261 0. 0. 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 150 145 214 0 0 0 0 0
normalized size 1 0.97 1.43 0. 0. 0. 0. 0.
time (sec) N/A 0.114 2.412 0.261 0. 0. 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 144 144 122 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.123 0.932 0.283 0. 0. 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 114 114 100 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.647 0.146 0. 0. 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 114 114 98 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.083 0.59 0.117 0. 0. 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 112 112 98 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.075 0.538 0.125 0. 0. 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 86 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.15 0.13 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 102 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.594 0.135 0. 0. 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 100 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.628 0.117 0. 0. 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 43 0 294 128 0 1246
normalized size 1 1. 0.77 0. 5.25 2.29 0. 22.25
time (sec) N/A 0.018 0.072 0.039 1.054 0.496 0. 1.304


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 43 0 294 128 0 1235
normalized size 1 1. 0.77 0. 5.25 2.29 0. 22.05
time (sec) N/A 0.012 0.064 0.036 1.053 0.485 0. 1.277


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 39 0 277 120 0 1185
normalized size 1 1. 0.76 0. 5.43 2.35 0. 23.24
time (sec) N/A 0.009 0.047 0.045 1.063 0.484 0. 1.17


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 37 19 24 51 37 0
normalized size 1 1. 2.06 1.06 1.33 2.83 2.06 0.
time (sec) N/A 0.015 0.027 0.021 0.989 0.483 1.394 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 41 0 281 120 287 0
normalized size 1 1. 0.73 0. 5.02 2.14 5.12 0.
time (sec) N/A 0.015 0.057 0.036 1.098 0.487 25.175 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 61 0 406 205 0 1125
normalized size 1 1. 0.63 0. 4.19 2.11 0. 11.6
time (sec) N/A 0.03 0.144 0.082 1.111 0.491 0. 1.488


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 54 0 381 200 0 1107
normalized size 1 1. 0.55 0. 3.89 2.04 0. 11.3
time (sec) N/A 0.023 0.097 0.066 1.113 0.493 0. 1.526


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 54 0 378 189 0 1061
normalized size 1 1. 0.61 0. 4.3 2.15 0. 12.06
time (sec) N/A 0.016 0.08 0.069 1.117 0.49 0. 1.378


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 36 52 72 119 56 0
normalized size 1 1. 0.92 1.33 1.85 3.05 1.44 0.
time (sec) N/A 0.029 0.067 0.027 1.107 0.495 10.133 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 57 0 385 188 0 0
normalized size 1 1. 0.6 0. 4.05 1.98 0. 0.
time (sec) N/A 0.027 0.117 0.057 1.373 0.504 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 120 0 1359 321 0 0
normalized size 1 1. 0.75 0. 8.49 2.01 0. 0.
time (sec) N/A 0.051 0.525 0.073 1.266 0.511 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 123 0 1370 327 0 0
normalized size 1 1. 0.78 0. 8.67 2.07 0. 0.
time (sec) N/A 0.045 0.487 0.065 1.23 0.508 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 117 0 1335 308 0 0
normalized size 1 1. 0.79 0. 8.96 2.07 0. 0.
time (sec) N/A 0.036 0.414 0.095 1.227 0.501 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 35 313 109 82 0
normalized size 1 1. 1. 0.83 7.45 2.6 1.95 0.
time (sec) N/A 0.033 0.056 0.033 1.118 0.489 27.563 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 122 0 1342 304 0 0
normalized size 1 1. 0.77 0. 8.49 1.92 0. 0.
time (sec) N/A 0.048 0.452 0.066 1.235 0.509 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 167 0 1455 381 0 0
normalized size 1 1. 0.87 0. 7.62 1.99 0. 0.
time (sec) N/A 0.045 0.435 0.09 1.273 0.515 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 51 84 126 177 110 0
normalized size 1 1. 0.7 1.15 1.73 2.42 1.51 0.
time (sec) N/A 0.044 0.101 0.027 1.144 0.5 121.549 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 22 34 27 85 0 34
normalized size 1 1. 0.76 1.17 0.93 2.93 0. 1.17
time (sec) N/A 0.014 0.012 0.037 0.968 0.47 0. 1.144


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 101 101 0 0 111 150 0 360
normalized size 1 1. 0. 0. 1.1 1.49 0. 3.56
time (sec) N/A 0.146 0.253 0.054 1.239 0.487 0. 1.854


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 62 62 0 0 39 96 0 1
normalized size 1 1. 0. 0. 0.63 1.55 0. 0.02
time (sec) N/A 0.045 0.086 0.117 1.117 0.472 0. 1.284


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F C
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 117 117 0 0 232 315 0 672
normalized size 1 1. 0. 0. 1.98 2.69 0. 5.74
time (sec) N/A 0.117 0.34 0.082 1.269 0.5 0. 2.713


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 68 68 0 0 55 143 0 1
normalized size 1 1. 0. 0. 0.81 2.1 0. 0.01
time (sec) N/A 0.056 0.101 0.079 1.291 0.472 0. 1.619


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 158 0 263 379 0 2525
normalized size 1 1. 0.7 0. 1.16 1.68 0. 11.17
time (sec) N/A 0.082 1.352 0.094 1.329 0.5 0. 4.34


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F A C F F(-2)
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 128 128 0 0 143 227 0 0
normalized size 1 1. 0. 0. 1.12 1.77 0. 0.
time (sec) N/A 0.096 0.139 0.083 1.144 0.478 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 377 0 0 0 0 0
normalized size 1 1. 3.43 0. 0. 0. 0. 0.
time (sec) N/A 0.072 3.427 0.205 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 181 0 0 0 0
normalized size 1 1. 1. 7.54 0. 0. 0. 0.
time (sec) N/A 0.027 0.093 2.044 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 163 0 0 0 0 0
normalized size 1 1. 1.5 0. 0. 0. 0. 0.
time (sec) N/A 0.068 1.668 0.162 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 54 247 0 0 0 0
normalized size 1 1. 0.86 3.92 0. 0. 0. 0.
time (sec) N/A 0.043 0.113 2.182 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 696 0 0 0 0 0
normalized size 1 1. 6.33 0. 0. 0. 0. 0.
time (sec) N/A 0.072 7.171 0.151 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 58 280 0 0 0 0
normalized size 1 1. 0.92 4.44 0. 0. 0. 0.
time (sec) N/A 0.042 0.133 2.823 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 99 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.38 0.16 0. 0. 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 26 0 0 0 0
normalized size 1 1. 1. 1.08 0. 0. 0. 0.
time (sec) N/A 0.028 0.085 0.037 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 431 0 0 0 0 0
normalized size 1 1. 3.95 0. 0. 0. 0. 0.
time (sec) N/A 0.07 3.613 0.153 0. 0. 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 54 139 0 0 0 0
normalized size 1 1. 0.92 2.36 0. 0. 0. 0.
time (sec) N/A 0.041 0.153 2.377 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 147 0 0 0 0 0
normalized size 1 1. 1.35 0. 0. 0. 0. 0.
time (sec) N/A 0.073 1.102 0.163 0. 0. 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 54 291 0 0 0 0
normalized size 1 1. 0.86 4.62 0. 0. 0. 0.
time (sec) N/A 0.044 0.146 2.319 0. 0. 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 82 0 252 103 0 0
normalized size 1 1. 1.71 0. 5.25 2.15 0. 0.
time (sec) N/A 0.036 0.115 0.343 1.805 0.457 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 260 312 0 4775 667 0 0
normalized size 1 0.98 1.17 0. 17.95 2.51 0. 0.
time (sec) N/A 0.125 4.035 0.096 2.065 0.562 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 292 0 3175 467 0 0
normalized size 1 1. 1.45 0. 15.8 2.32 0. 0.
time (sec) N/A 0.078 1.882 0.082 1.596 0.532 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F B A F(-2) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 91 0 872 275 0 0
normalized size 1 1. 0.76 0. 7.27 2.29 0. 0.
time (sec) N/A 0.032 0.32 0.07 1.259 0.501 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 53 0 423 158 0 6969
normalized size 1 1. 0.76 0. 6.04 2.26 0. 99.56
time (sec) N/A 0.016 0.13 0.042 1.177 0.484 0. 1.692


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 204 0 0 0 0 0
normalized size 1 0.97 1.57 0. 0. 0. 0. 0.
time (sec) N/A 0.101 2.009 0.174 0. 0. 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 126 436 0 0 0 0 0
normalized size 1 0.98 3.38 0. 0. 0. 0. 0.
time (sec) N/A 0.099 5.238 0.2 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 130 119 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.093 0.584 0.178 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 487 0 0 0 0 0
normalized size 1 0.97 3.75 0. 0. 0. 0. 0.
time (sec) N/A 0.099 5.059 0.188 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 205 0 0 0 0 0
normalized size 1 0.97 1.58 0. 0. 0. 0. 0.
time (sec) N/A 0.1 2.21 0.168 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 144 144 123 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.104 0.985 0.185 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 114 114 102 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.077 0.633 0.127 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 112 112 102 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.557 0.113 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 47 0 132 49 122 0 37 46
normalized size 1 0. 2.81 1.04 2.6 0. 0.79 0.98
time (sec) N/A 0.03 0.032 0.07 1.058 0. 0.683 1.172


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 43 0 66 0 204 0 44 35
normalized size 1 0. 1.53 0. 4.74 0. 1.02 0.81
time (sec) N/A 0.023 0.018 0.068 1.633 0. 0.697 1.17


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 33 0 114 37 99 0 26 34
normalized size 1 0. 3.45 1.12 3. 0. 0.79 1.03
time (sec) N/A 0.017 0.022 0.062 1.058 0. 0.518 1.193


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 27 0 42 0 165 0 27 41
normalized size 1 0. 1.56 0. 6.11 0. 1. 1.52
time (sec) N/A 0.007 0.007 0.058 1.708 0. 0.502 1.145


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 17 14 59 0 14
normalized size 1 1. 1. 1.21 1. 4.21 0. 1.
time (sec) N/A 0.013 0.021 0.013 0.998 0.485 0. 1.141


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 29 0 44 0 171 0 27 38
normalized size 1 0. 1.52 0. 5.9 0. 0.93 1.31
time (sec) N/A 0.028 0.024 0.059 1.633 0. 0.457 1.176


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 35 0 132 43 130 0 39 45
normalized size 1 0. 3.77 1.23 3.71 0. 1.11 1.29
time (sec) N/A 0.027 0.032 0.057 1.088 0. 0.696 1.137


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 45 0 70 0 212 0 53 38
normalized size 1 0. 1.56 0. 4.71 0. 1.18 0.84
time (sec) N/A 0.027 0.025 0.058 1.675 0. 1.257 1.142


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 63 0 155 62 312 0 54 352
normalized size 1 0. 2.46 0.98 4.95 0. 0.86 5.59
time (sec) N/A 0.07 0.167 0.078 1.159 0. 0.672 1.251


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 62 0 100 0 363 0 66 190
normalized size 1 0. 1.61 0. 5.85 0. 1.06 3.06
time (sec) N/A 0.05 0.12 0.078 1.645 0. 0.655 1.243


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 51 0 135 50 261 0 42 298
normalized size 1 0. 2.65 0.98 5.12 0. 0.82 5.84
time (sec) N/A 0.032 0.114 0.072 1.027 0. 0.742 1.286


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 46 0 70 0 305 0 51 154
normalized size 1 0. 1.52 0. 6.63 0. 1.11 3.35
time (sec) N/A 0.01 0.089 0.061 1.599 0. 0.61 1.187


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 28 23 23 97 22 130
normalized size 1 1. 1.56 1.28 1.28 5.39 1.22 7.22
time (sec) N/A 0.025 0.039 0.014 1.509 0.463 0.53 1.163


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 60 0 72 0 312 0 51 99
normalized size 1 0. 1.2 0. 5.2 0. 0.85 1.65
time (sec) N/A 0.049 0.109 0.05 1.619 0. 0.673 1.217


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A F(-2) F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 55 0 150 61 0 0 60 240
normalized size 1 0. 2.73 1.11 0. 0. 1.09 4.36
time (sec) N/A 0.053 0.17 0.065 0. 0. 1.046 1.216


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 71 0 124 0 0 0 0 0
normalized size 1 0. 1.75 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.185 0.201 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 77 0 172 0 0 0 0 0
normalized size 1 0. 2.23 0. 0. 0. 0. 0.
time (sec) N/A 0.087 0.414 0.054 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 184 0 255 0 0 0 0 0
normalized size 1 0. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.93 0.067 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 142 0 330 0 0 0 0 0
normalized size 1 0. 2.32 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.665 0.374 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 162 0 157 0 0 0 0 0
normalized size 1 0. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.13 0.648 0.411 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0
normalized size 1 0. 2. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.491 0.339 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F(-1)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0
normalized size 1 0. 2. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.495 0.322 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F(-1)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 240 0 0 0 0 0
normalized size 1 0. 2. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.489 0.318 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 71 0 146 0 0 0 0 0
normalized size 1 0. 2.06 0. 0. 0. 0. 0.
time (sec) N/A 0.043 6.508 1.566 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 75 0 155 0 0 0 0 0
normalized size 1 0. 2.07 0. 0. 0. 0. 0.
time (sec) N/A 0.031 6.065 1.357 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 69 0 146 0 0 0 0 0
normalized size 1 0. 2.12 0. 0. 0. 0. 0.
time (sec) N/A 0.025 6.198 1.217 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 67 0 151 0 0 0 0 0
normalized size 1 0. 2.25 0. 0. 0. 0. 0.
time (sec) N/A 0.012 10.97 1.083 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 25 30 32 97 44 0
normalized size 1 1. 0.96 1.15 1.23 3.73 1.69 0.
time (sec) N/A 0.018 0.047 0.014 0.991 0.493 10.905 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 71 0 153 0 0 0 0 0
normalized size 1 0. 2.15 0. 0. 0. 0. 0.
time (sec) N/A 0.031 4.034 1.364 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 69 0 147 0 0 0 0 0
normalized size 1 0. 2.13 0. 0. 0. 0. 0.
time (sec) N/A 0.031 3.703 1.454 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 159 0 179 0 0 0 0 0
normalized size 1 0. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.09 6.586 1.464 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 163 0 189 0 0 0 0 0
normalized size 1 0. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.069 6.292 1.36 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 159 0 179 0 0 0 0 0
normalized size 1 0. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.044 6.549 1.244 0. 0. 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 154 0 185 0 0 0 0 0
normalized size 1 0. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.014 11.231 1.099 0. 0. 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 51 50 432 242 0 135
normalized size 1 1. 1.76 1.72 14.9 8.34 0. 4.66
time (sec) N/A 0.029 0.082 0.019 1.332 0.479 0. 2.286


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 157 0 184 0 0 0 0 0
normalized size 1 0. 1.17 0. 0. 0. 0. 0.
time (sec) N/A 0.055 4.315 1.37 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 156 0 179 0 0 0 0 0
normalized size 1 0. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.054 4.195 1.565 0. 0. 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 38 47 1677 209 70 0
normalized size 1 1. 0.88 1.09 39. 4.86 1.63 0.
time (sec) N/A 0.034 0.156 0.018 1.142 0.508 18.474 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 62 61 2931 416 66 1430
normalized size 1 1. 1.38 1.36 65.13 9.24 1.47 31.78
time (sec) N/A 0.038 0.101 0.018 1.357 0.486 32.256 5.261


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 55 68 6029 387 0 0
normalized size 1 1. 0.82 1.01 89.99 5.78 0. 0.
time (sec) N/A 0.044 0.163 0.017 1.53 0.508 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 101 0 186 0 0 0 0 0
normalized size 1 0. 1.84 0. 0. 0. 0. 0.
time (sec) N/A 0.048 14.507 1.721 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 196 0 550 0 0 0 0 0
normalized size 1 0. 2.81 0. 0. 0. 0. 0.
time (sec) N/A 0.082 17.453 1.703 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F(-1) F(-1)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 351 0 642 0 0 0 0 0
normalized size 1 0. 1.83 0. 0. 0. 0. 0.
time (sec) N/A 0.076 17.782 1.796 0. 0. 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-1)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 190 0 458 0 0 0 0 0
normalized size 1 0. 2.41 0. 0. 0. 0. 0.
time (sec) N/A 0.015 1.414 0.177 0. 0. 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 210 0 205 0 0 0 0 0
normalized size 1 0. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.104 1.139 0.189 0. 0. 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 50 161 0 0 0 0
normalized size 1 1. 0.25 0.8 0. 0. 0. 0.
time (sec) N/A 0.139 0.259 0.051 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 175 161 0 0 0 0
normalized size 1 1. 0.88 0.81 0. 0. 0. 0.
time (sec) N/A 0.128 0.243 0.031 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 48 140 0 0 0 0
normalized size 1 1. 0.27 0.8 0. 0. 0. 0.
time (sec) N/A 0.12 0.097 0.03 0. 0. 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-2) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 142 140 0 0 0 0
normalized size 1 1. 0.81 0.8 0. 0. 0. 0.
time (sec) N/A 0.121 0.135 0.031 0. 0. 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 46 161 0 0 0 0
normalized size 1 1. 0.23 0.81 0. 0. 0. 0.
time (sec) N/A 0.134 0.118 0.037 0. 0. 0. 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 48 161 0 0 0 0
normalized size 1 1. 0.24 0.8 0. 0. 0. 0.
time (sec) N/A 0.128 0.209 0.038 0. 0. 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 49 0 137 65 184 0 39 68
normalized size 1 0. 2.8 1.33 3.76 0. 0.8 1.39
time (sec) N/A 0.026 0.034 0.079 1.086 0. 0.607 1.552


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 43 0 66 62 176 0 46 63
normalized size 1 0. 1.53 1.44 4.09 0. 1.07 1.47
time (sec) N/A 0.022 0.018 0.089 1.187 0. 0.498 1.465


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 35 0 118 53 154 0 27 55
normalized size 1 0. 3.37 1.51 4.4 0. 0.77 1.57
time (sec) N/A 0.015 0.023 0.069 1.099 0. 0.505 1.379


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 27 0 42 44 132 0 29 51
normalized size 1 0. 1.56 1.63 4.89 0. 1.07 1.89
time (sec) N/A 0.007 0.008 0.071 1.057 0. 0.495 1.342


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 25 17 14 61 0 78
normalized size 1 1. 1.79 1.21 1. 4.36 0. 5.57
time (sec) N/A 0.013 0.025 0.017 1.122 0.483 0. 1.23


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 29 0 44 47 139 0 29 54
normalized size 1 0. 1.52 1.62 4.79 0. 1. 1.86
time (sec) N/A 0.025 0.023 0.06 1.048 0. 0.474 1.264


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 36 0 136 59 188 0 39 66
normalized size 1 0. 3.78 1.64 5.22 0. 1.08 1.83
time (sec) N/A 0.024 0.03 0.066 1.389 0. 0.697 1.318


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 45 0 70 59 192 0 54 66
normalized size 1 0. 1.56 1.31 4.27 0. 1.2 1.47
time (sec) N/A 0.025 0.022 0.061 1.142 0. 0.626 1.377


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 67 0 162 77 489 0 54 188
normalized size 1 0. 2.42 1.15 7.3 0. 0.81 2.81
time (sec) N/A 0.065 0.175 0.09 1.197 0. 0.75 1.433


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 64 0 100 75 475 0 60 112
normalized size 1 0. 1.56 1.17 7.42 0. 0.94 1.75
time (sec) N/A 0.051 0.127 0.086 1.235 0. 0.949 1.315


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 55 0 142 65 400 0 42 159
normalized size 1 0. 2.58 1.18 7.27 0. 0.76 2.89
time (sec) N/A 0.036 0.124 0.083 1.088 0. 0.603 1.319


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 48 0 70 56 375 0 42 107
normalized size 1 0. 1.46 1.17 7.81 0. 0.88 2.23
time (sec) N/A 0.011 0.085 0.073 1.243 0. 0.48 1.338


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 34 27 26 97 20 43
normalized size 1 1. 1.89 1.5 1.44 5.39 1.11 2.39
time (sec) N/A 0.024 0.05 0.018 1.725 0.476 0.539 1.318


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A A B F A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 64 0 72 62 385 0 44 117
normalized size 1 0. 1.12 0.97 6.02 0. 0.69 1.83
time (sec) N/A 0.048 0.121 0.069 1.154 0. 1.009 1.256


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B A F(-2) F A B
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 57 0 153 76 0 0 60 257
normalized size 1 0. 2.68 1.33 0. 0. 1.05 4.51
time (sec) N/A 0.051 0.221 0.074 0. 0. 1.178 1.344


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 70 0 103 0 0 0 0 0
normalized size 1 0. 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.241 0.158 0. 0. 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 77 0 169 0 0 0 0 0
normalized size 1 0. 2.19 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.43 0.06 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 169 0 250 0 0 0 0 0
normalized size 1 0. 1.48 0. 0. 0. 0. 0.
time (sec) N/A 0.077 0.951 0.072 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 142 0 330 0 0 0 0 0
normalized size 1 0. 2.32 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.594 0.372 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 162 0 157 0 0 0 0 0
normalized size 1 0. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.117 0.638 0.409 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0
normalized size 1 0. 1.98 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.479 0.322 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0
normalized size 1 0. 1.98 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.465 0.357 0. 0. 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A NO TBD TBD TBD TBD TBD
size 120 0 238 0 0 0 0 0
normalized size 1 0. 1.98 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.465 0.336 0. 0. 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F(-1) F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 70 0 220 0 0 0 0 0
normalized size 1 0. 3.14 0. 0. 0. 0. 0.
time (sec) N/A 0.035 5.4 1.831 0. 0. 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 74 0 229 0 0 0 0 0
normalized size 1 0. 3.09 0. 0. 0. 0. 0.
time (sec) N/A 0.029 5.741 1.595 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 68 0 219 0 0 0 0 0
normalized size 1 0. 3.22 0. 0. 0. 0. 0.
time (sec) N/A 0.023 5.719 1.45 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 66 0 141 0 0 0 0 0
normalized size 1 0. 2.14 0. 0. 0. 0. 0.
time (sec) N/A 0.012 10.645 1.309 0. 0. 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 40 30 32 97 46 0
normalized size 1 1. 1.6 1.2 1.28 3.88 1.84 0.
time (sec) N/A 0.018 0.059 0.019 0.971 0.503 5.006 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 70 0 217 0 0 0 0 0
normalized size 1 0. 3.1 0. 0. 0. 0. 0.
time (sec) N/A 0.03 4.675 1.589 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 68 0 211 0 0 0 0 0
normalized size 1 0. 3.1 0. 0. 0. 0. 0.
time (sec) N/A 0.029 4.313 1.779 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 158 0 175 0 0 0 0 0
normalized size 1 0. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.085 4.991 1.815 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 162 0 185 0 0 0 0 0
normalized size 1 0. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.061 5.329 1.632 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 158 0 175 0 0 0 0 0
normalized size 1 0. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.044 5.13 1.48 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 153 0 178 0 0 0 0 0
normalized size 1 0. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.014 9.637 1.293 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B B B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 51 63 435 216 0 0
normalized size 1 1. 1.7 2.1 14.5 7.2 0. 0.
time (sec) N/A 0.03 0.11 0.022 1.23 0.491 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 156 0 181 0 0 0 0 0
normalized size 1 0. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.057 4.361 1.628 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F(-1) F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 155 0 175 0 0 0 0 0
normalized size 1 0. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.053 4.028 1.863 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 52 47 2313 212 0 0
normalized size 1 1. 1.18 1.07 52.57 4.82 0. 0.
time (sec) N/A 0.037 0.224 0.021 1.304 0.498 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B B A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 46 69 2932 385 66 0
normalized size 1 1. 1.05 1.57 66.64 8.75 1.5 0.
time (sec) N/A 0.039 0.116 0.021 1.412 0.49 15.288 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 69 68 8097 387 0 0
normalized size 1 1. 1.05 1.03 122.68 5.86 0. 0.
time (sec) N/A 0.046 0.231 0.025 1.888 0.501 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 100 0 182 0 0 0 0 0
normalized size 1 0. 1.82 0. 0. 0. 0. 0.
time (sec) N/A 0.048 13.969 1.946 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F(-1) F F(-1) F(-1)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 195 0 547 0 0 0 0 0
normalized size 1 0. 2.81 0. 0. 0. 0. 0.
time (sec) N/A 0.078 16.599 1.967 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F(-2)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 350 0 639 0 0 0 0 0
normalized size 1 0. 1.83 0. 0. 0. 0. 0.
time (sec) N/A 0.073 17.039 2.033 0. 0. 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F B F F F F F(-2)
verified N/A N/A NO TBD TBD TBD TBD TBD
size 190 0 458 0 0 0 0 0
normalized size 1 0. 2.41 0. 0. 0. 0. 0.
time (sec) N/A 0.015 1.303 0.233 0. 0. 0. 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F(-2)
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 210 0 205 0 0 0 0 0
normalized size 1 0. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.104 1.127 0.213 0. 0. 0. 0.


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 50 161 0 0 0 0
normalized size 1 1. 0.25 0.8 0. 0. 0. 0.
time (sec) N/A 0.139 0.268 0.062 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 175 161 0 0 0 0
normalized size 1 1. 0.88 0.81 0. 0. 0. 0.
time (sec) N/A 0.131 0.291 0.034 0. 0. 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 48 140 0 0 0 0
normalized size 1 1. 0.27 0.8 0. 0. 0. 0.
time (sec) N/A 0.121 0.098 0.032 0. 0. 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-2) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 142 140 0 0 0 0
normalized size 1 1. 0.81 0.8 0. 0. 0. 0.
time (sec) N/A 0.128 0.156 0.035 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 46 161 0 0 0 0
normalized size 1 1. 0.23 0.81 0. 0. 0. 0.
time (sec) N/A 0.132 0.145 0.038 0. 0. 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 48 161 0 0 0 0
normalized size 1 1. 0.24 0.8 0. 0. 0. 0.
time (sec) N/A 0.134 0.216 0.038 0. 0. 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 86 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.168 0.275 0. 0. 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 82 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.136 0.228 0. 0. 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 84 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.112 0.208 0. 0. 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 32 42 130 51 0
normalized size 1 1. 1. 1.68 2.21 6.84 2.68 0.
time (sec) N/A 0.016 0.04 0.022 1.074 0.499 4.007 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 85 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.142 0.262 0. 0. 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 81 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.145 0.313 0. 0. 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 160 0 0 0 0 0
normalized size 1 1. 1.84 0. 0. 0. 0. 0.
time (sec) N/A 0.075 5.531 1.485 0. 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 149 0 0 0 0 0
normalized size 1 1. 1.89 0. 0. 0. 0. 0.
time (sec) N/A 0.066 5.346 1.363 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 147 0 0 0 0 0
normalized size 1 1. 1.73 0. 0. 0. 0. 0.
time (sec) N/A 0.063 6.407 1.22 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 19 223 93 0 0
normalized size 1 1. 1. 1.06 12.39 5.17 0. 0.
time (sec) N/A 0.028 0.091 0.033 1.167 0.467 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 160 0 0 0 0 0
normalized size 1 1. 1.84 0. 0. 0. 0. 0.
time (sec) N/A 0.076 3.881 1.473 0. 0. 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 150 0 0 0 0 0
normalized size 1 1. 1.9 0. 0. 0. 0. 0.
time (sec) N/A 0.071 3.718 1.615 0. 0. 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 118 0 0 0 0 0
normalized size 1 1. 1.36 0. 0. 0. 0. 0.
time (sec) N/A 0.066 4.746 2.13 0. 0. 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 120 0 0 0 0 0
normalized size 1 1. 1.41 0. 0. 0. 0. 0.
time (sec) N/A 0.063 4.418 1.74 0. 0. 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 64 0 311 0 0
normalized size 1 1. 1. 1.16 0. 5.65 0. 0.
time (sec) N/A 0.038 0.073 0.039 0. 0.508 0. 0.


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 123 0 0 0 0 0
normalized size 1 1. 1.41 0. 0. 0. 0. 0.
time (sec) N/A 0.075 4.629 2.144 0. 0. 0. 0.


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 119 0 0 0 0 0
normalized size 1 1. 1.37 0. 0. 0. 0. 0.
time (sec) N/A 0.073 4.656 2.151 0. 0. 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 204 0 0 0 0 0
normalized size 1 1. 2.58 0. 0. 0. 0. 0.
time (sec) N/A 0.069 12.915 1.415 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 213 0 0 0 0 0
normalized size 1 1. 2.51 0. 0. 0. 0. 0.
time (sec) N/A 0.063 10.798 1.325 0. 0. 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 36 37 1786 157 0 0
normalized size 1 1. 0.86 0.88 42.52 3.74 0. 0.
time (sec) N/A 0.034 0.116 0.043 1.16 0.472 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 215 0 0 0 0 0
normalized size 1 1. 2.47 0. 0. 0. 0. 0.
time (sec) N/A 0.075 9.452 1.551 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 203 0 0 0 0 0
normalized size 1 1. 2.57 0. 0. 0. 0. 0.
time (sec) N/A 0.072 9.379 1.699 0. 0. 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C A C B A F F
verified N/A NO Yes TBD TBD TBD TBD TBD
size 41 175 29 537 2290 146 0 0
normalized size 1 4.27 0.71 13.1 55.85 3.56 0. 0.
time (sec) N/A 0.133 0.655 0.48 2.875 0.474 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C A F B C F(-1) C
verified N/A NO Yes TBD TBD TBD TBD TBD
size 110 146 198 0 1318 231 0 1126
normalized size 1 1.33 1.8 0. 11.98 2.1 0. 10.24
time (sec) N/A 0.217 2.111 0.228 1.426 0.477 0. 15.441


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 127 215 189 127 0 0
normalized size 1 1. 2.82 4.78 4.2 2.82 0. 0.
time (sec) N/A 0.043 0.151 0.199 1.12 0.449 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F A
verified N/A NO Yes TBD TBD TBD TBD TBD
size 58 48 137 214 208 151 0 100
normalized size 1 0.83 2.36 3.69 3.59 2.6 0. 1.72
time (sec) N/A 0.035 0.114 0.204 1.245 0.449 0. 4.758


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 139 238 224 158 0 112
normalized size 1 1. 2.9 4.96 4.67 3.29 0. 2.33
time (sec) N/A 0.041 0.139 0.204 1.233 0.45 0. 4.556


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 67 0 0 340 0 0
normalized size 1 1. 0.71 0. 0. 3.58 0. 0.
time (sec) N/A 0.091 0.858 0.372 0. 0.506 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 62 0 0 346 0 0
normalized size 1 1. 0.89 0. 0. 4.94 0. 0.
time (sec) N/A 0.075 0.792 0.322 0. 0.503 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 99 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.482 0.357 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 181 0 0 0 0
normalized size 1 1. 1. 3.35 0. 0. 0. 0.
time (sec) N/A 0.043 0.116 1.984 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 415 0 0 0 0 0
normalized size 1 1. 3.81 0. 0. 0. 0. 0.
time (sec) N/A 0.072 5.862 0.273 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 68 139 0 0 0 0
normalized size 1 1. 0.76 1.56 0. 0. 0. 0.
time (sec) N/A 0.061 0.138 2.643 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 124 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.072 1.351 0.275 0. 0. 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 69 291 0 0 0 0
normalized size 1 1. 0.74 3.13 0. 0. 0. 0.
time (sec) N/A 0.061 0.156 2.697 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 380 0 0 0 0 0
normalized size 1 1. 3.45 0. 0. 0. 0. 0.
time (sec) N/A 0.069 4.315 0.283 0. 0. 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 181 0 0 0 0
normalized size 1 1. 1. 3.35 0. 0. 0. 0.
time (sec) N/A 0.044 0.105 1.849 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 168 0 0 0 0 0
normalized size 1 1. 1.54 0. 0. 0. 0. 0.
time (sec) N/A 0.07 1.595 0.283 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 72 247 0 0 0 0
normalized size 1 1. 0.77 2.66 0. 0. 0. 0.
time (sec) N/A 0.06 0.133 2.337 0. 0. 0. 0.


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 867 0 0 0 0 0
normalized size 1 1. 7.88 0. 0. 0. 0. 0.
time (sec) N/A 0.072 8.653 0.289 0. 0. 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 83 280 0 0 0 0
normalized size 1 1. 0.89 3.01 0. 0. 0. 0.
time (sec) N/A 0.061 0.175 2.312 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 102 102 134 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.089 5.658 2.368 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 102 102 482 0 0 0 0 0
normalized size 1 1. 4.73 0. 0. 0. 0. 0.
time (sec) N/A 0.085 17.541 1.779 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 99 94 0 0 0 0 0
normalized size 1 0.96 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.212 0.349 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 182 0 0 0 0 0
normalized size 1 0.97 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.099 2.137 0.287 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 470 0 0 0 0 0
normalized size 1 0.97 3.62 0. 0. 0. 0. 0.
time (sec) N/A 0.096 9.581 0.295 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 130 119 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.784 0.306 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 126 437 0 0 0 0 0
normalized size 1 0.98 3.39 0. 0. 0. 0. 0.
time (sec) N/A 0.092 6.987 0.268 0. 0. 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 202 0 0 0 0 0
normalized size 1 0.97 1.55 0. 0. 0. 0. 0.
time (sec) N/A 0.096 2.516 0.288 0. 0. 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 133 169 0 0 0 0 0
normalized size 1 0.96 1.22 0. 0. 0. 0. 0.
time (sec) N/A 0.121 1.559 0.27 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 106 106 142 0 0 0 0 0
normalized size 1 1. 1.34 0. 0. 0. 0. 0.
time (sec) N/A 0.083 0.963 0.212 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 142 0 0 0 0 0
normalized size 1 1. 1.33 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.781 0.178 0. 0. 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 82 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.062 1.498 0.384 0. 0. 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 78 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.056 1.473 0.31 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 80 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.051 1.271 0.259 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 54 33 43 147 49 0
normalized size 1 1. 2.7 1.65 2.15 7.35 2.45 0.
time (sec) N/A 0.016 0.057 0.027 0.996 0.497 2.881 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 82 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.059 1.076 0.377 0. 0. 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 78 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.059 1.092 0.454 0. 0. 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 84 84 146 0 0 0 0 0
normalized size 1 1. 1.74 0. 0. 0. 0. 0.
time (sec) N/A 0.06 5.209 1.417 0. 0. 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 20 227 95 0 0
normalized size 1 1. 1. 1.05 11.95 5. 0. 0.
time (sec) N/A 0.028 0.096 0.034 1.209 0.467 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 84 84 117 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.062 5.616 2.277 0. 0. 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 107 66 2927 352 0 0
normalized size 1 1. 1.95 1.2 53.22 6.4 0. 0.
time (sec) N/A 0.04 0.089 0.046 1.292 0.503 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 84 84 782 0 0 0 0 0
normalized size 1 1. 9.31 0. 0. 0. 0. 0.
time (sec) N/A 0.061 13.475 1.441 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 56 36 1798 211 0 0
normalized size 1 1. 1.3 0.84 41.81 4.91 0. 0.
time (sec) N/A 0.034 0.088 0.049 1.181 0.473 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C A C B A F(-1) F
verified N/A NO Yes TBD TBD TBD TBD TBD
size 42 172 30 535 2296 154 0 0
normalized size 1 4.1 0.71 12.74 54.67 3.67 0. 0.
time (sec) N/A 0.127 0.418 0.479 2.035 0.474 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C A F B C F(-1) C
verified N/A NO Yes TBD TBD TBD TBD TBD
size 110 142 79 0 1315 236 0 1133
normalized size 1 1.29 0.72 0. 11.95 2.15 0. 10.3
time (sec) N/A 0.184 2.08 0.181 1.446 0.489 0. 14.201


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 127 215 192 131 0 0
normalized size 1 1. 2.59 4.39 3.92 2.67 0. 0.
time (sec) N/A 0.042 0.179 0.126 1.124 0.442 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F A
verified N/A NO Yes TBD TBD TBD TBD TBD
size 58 51 137 215 215 155 0 100
normalized size 1 0.88 2.36 3.71 3.71 2.67 0. 1.72
time (sec) N/A 0.035 0.147 0.136 1.182 0.447 0. 4.537


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 137 239 224 161 0 112
normalized size 1 1. 2.69 4.69 4.39 3.16 0. 2.2
time (sec) N/A 0.04 0.147 0.144 1.218 0.45 0. 4.751


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 155 0 0 343 0 0
normalized size 1 1. 1.61 0. 0. 3.57 0. 0.
time (sec) N/A 0.088 2.069 0.278 0. 0.51 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 71 71 128 0 0 350 0 0
normalized size 1 1. 1.8 0. 0. 4.93 0. 0.
time (sec) N/A 0.076 3.005 0.278 0. 0.499 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 115 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.645 0.364 0. 0. 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 58 102 0 0 0 0
normalized size 1 1. 0.98 1.73 0. 0. 0. 0.
time (sec) N/A 0.041 0.117 0.799 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 411 0 0 0 0 0
normalized size 1 1. 3.77 0. 0. 0. 0. 0.
time (sec) N/A 0.07 6.058 0.295 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 72 190 0 0 0 0
normalized size 1 1. 0.77 2.02 0. 0. 0. 0.
time (sec) N/A 0.055 0.152 1.276 0. 0. 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 174 0 0 0 0 0
normalized size 1 1. 1.6 0. 0. 0. 0. 0.
time (sec) N/A 0.072 1.824 0.296 0. 0. 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 73 131 0 0 0 0
normalized size 1 1. 0.74 1.34 0. 0. 0. 0.
time (sec) N/A 0.058 0.186 1.118 0. 0. 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 377 0 0 0 0 0
normalized size 1 1. 3.43 0. 0. 0. 0. 0.
time (sec) N/A 0.069 4.037 0.319 0. 0. 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 58 129 0 0 0 0
normalized size 1 1. 0.98 2.19 0. 0. 0. 0.
time (sec) N/A 0.04 0.108 1.305 0. 0. 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 186 0 0 0 0 0
normalized size 1 1. 1.71 0. 0. 0. 0. 0.
time (sec) N/A 0.071 2.311 0.299 0. 0. 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 76 131 0 0 0 0
normalized size 1 1. 0.78 1.34 0. 0. 0. 0.
time (sec) N/A 0.059 0.166 1.423 0. 0. 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 876 0 0 0 0 0
normalized size 1 1. 7.96 0. 0. 0. 0. 0.
time (sec) N/A 0.073 8.759 0.3 0. 0. 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 88 205 0 0 0 0
normalized size 1 1. 0.9 2.09 0. 0. 0. 0.
time (sec) N/A 0.058 0.22 1.183 0. 0. 0. 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 122 122 367 0 0 0 0 0
normalized size 1 1. 3.01 0. 0. 0. 0. 0.
time (sec) N/A 0.11 2.285 5.298 0. 0. 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 534 0 0 0 0 0
normalized size 1 1. 4.49 0. 0. 0. 0. 0.
time (sec) N/A 0.097 6.543 2.25 0. 0. 0. 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 123 118 181 0 0 0 0 0
normalized size 1 0.96 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.077 0.426 0.94 0. 0. 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 165 0 0 0 0 0
normalized size 1 0.97 1.27 0. 0. 0. 0. 0.
time (sec) N/A 0.096 2.955 0.389 0. 0. 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 466 0 0 0 0 0
normalized size 1 0.97 3.58 0. 0. 0. 0. 0.
time (sec) N/A 0.092 9.531 0.298 0. 0. 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 130 138 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.969 0.289 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 126 441 0 0 0 0 0
normalized size 1 0.98 3.42 0. 0. 0. 0. 0.
time (sec) N/A 0.088 7.348 0.279 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 126 218 0 0 0 0 0
normalized size 1 0.97 1.68 0. 0. 0. 0. 0.
time (sec) N/A 0.094 2.407 0.307 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 133 169 0 0 0 0 0
normalized size 1 0.96 1.22 0. 0. 0. 0. 0.
time (sec) N/A 0.113 1.693 0.283 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 106 106 142 0 0 0 0 0
normalized size 1 1. 1.34 0. 0. 0. 0. 0.
time (sec) N/A 0.076 1.118 0.232 0. 0. 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 142 0 0 0 0 0
normalized size 1 1. 1.33 0. 0. 0. 0. 0.
time (sec) N/A 0.066 0.87 0.208 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [180] had the largest ratio of [ 0.4737 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 1 1 1. 15 0.067







2 A 1 1 1. 13 0.077







3 A 1 1 1. 11 0.091







4 A 2 1 1. 15 0.067







5 A 1 1 1. 15 0.067







6 A 1 1 1. 15 0.067







7 A 2 2 1. 17 0.118







8 A 2 2 1. 15 0.133







9 A 2 2 1. 13 0.154







10 A 3 2 1. 17 0.118







11 A 2 2 1. 17 0.118







12 A 2 2 1. 17 0.118







13 A 2 2 1. 17 0.118







14 A 2 2 1. 15 0.133







15 A 2 2 1. 13 0.154







16 A 3 1 1. 17 0.059







17 A 2 2 1. 17 0.118







18 A 2 2 1. 17 0.118







19 A 3 2 1. 17 0.118







20 A 3 2 1. 15 0.133







21 A 3 2 1. 13 0.154







22 A 4 2 1. 17 0.118







23 A 3 2 1. 17 0.118







24 A 3 2 1. 17 0.118







25 A 2 1 1. 7 0.143







26 A 3 2 1. 28 0.071







27 A 3 2 1. 24 0.083







28 A 3 2 1. 22 0.091







29 A 3 2 1. 19 0.105







30 A 2 2 1. 6 0.333







31 A 3 2 1. 23 0.087







32 A 3 2 1. 24 0.083







33 A 3 2 1. 33 0.061







34 A 3 2 1. 28 0.071







35 A 3 2 1. 23 0.087







36 A 3 2 1. 24 0.083







37 A 2 2 1. 8 0.25







38 A 3 2 1. 28 0.071







39 A 3 2 1. 25 0.08







40 A 2 2 1. 33 0.061







41 A 3 2 1. 25 0.08







42 A 3 2 1. 26 0.077







43 A 3 2 1. 24 0.083







44 A 2 2 1. 8 0.25







45 A 3 2 1. 28 0.071







46 A 3 2 1. 28 0.071







47 A 3 2 1. 28 0.071







48 A 3 2 1. 15 0.133







49 A 3 2 1. 30 0.067







50 A 3 2 1. 17 0.118







51 A 3 2 1. 30 0.067







52 A 3 2 1. 17 0.118







53 A 3 3 1. 17 0.176







54 A 3 3 1. 15 0.2







55 A 2 1 1. 19 0.053







56 A 3 3 1. 19 0.158







57 A 3 3 1. 19 0.158







58 A 3 3 1. 17 0.176







59 A 3 3 1. 15 0.2







60 A 3 2 1. 19 0.105







61 A 3 3 1. 19 0.158







62 A 3 3 1. 19 0.158







63 A 3 3 1. 15 0.2







64 A 2 1 1. 19 0.053







65 A 3 3 1. 15 0.2







66 A 3 2 1. 19 0.105







67 A 3 3 1. 15 0.2







68 A 3 2 1. 19 0.105







69 A 3 3 1. 15 0.2







70 A 3 2 1. 21 0.095







71 A 2 2 1. 21 0.095







72 A 2 2 1. 21 0.095







73 A 1 1 1. 19 0.053







74 A 3 3 0.97 23 0.13







75 A 3 3 0.97 23 0.13







76 A 3 3 1. 23 0.13







77 A 3 3 0.97 23 0.13







78 A 3 3 0.97 23 0.13







79 A 3 3 1. 21 0.143







80 A 3 3 1. 17 0.176







81 A 3 3 1. 15 0.2







82 A 3 3 1. 13 0.231







83 A 2 1 1. 17 0.059







84 A 3 3 1. 17 0.176







85 A 3 3 1. 17 0.176







86 A 1 1 1. 15 0.067







87 A 1 1 1. 13 0.077







88 A 1 1 1. 11 0.091







89 A 2 1 1. 15 0.067







90 A 1 1 1. 15 0.067







91 A 2 2 1. 17 0.118







92 A 2 2 1. 15 0.133







93 A 2 2 1. 13 0.154







94 A 3 2 1. 17 0.118







95 A 2 2 1. 17 0.118







96 A 2 2 1. 17 0.118







97 A 2 2 1. 15 0.133







98 A 2 2 1. 13 0.154







99 A 3 1 1. 17 0.059







100 A 2 2 1. 17 0.118







101 A 3 2 1. 13 0.154







102 A 4 2 1. 17 0.118







103 A 2 1 1. 7 0.143







104 A 3 2 1. 28 0.071







105 A 3 2 1. 19 0.105







106 A 3 2 1. 33 0.061







107 A 3 2 1. 24 0.083







108 A 2 2 1. 33 0.061







109 A 3 2 1. 24 0.083







110 A 3 3 1. 15 0.2







111 A 2 1 1. 19 0.053







112 A 3 3 1. 15 0.2







113 A 3 2 1. 19 0.105







114 A 3 3 1. 15 0.2







115 A 3 2 1. 19 0.105







116 A 3 3 1. 15 0.2







117 A 2 1 1. 19 0.053







118 A 3 3 1. 15 0.2







119 A 3 2 1. 19 0.105







120 A 3 3 1. 15 0.2







121 A 3 2 1. 19 0.105







122 A 3 3 1. 15 0.2







123 A 3 2 0.98 17 0.118







124 A 2 2 1. 17 0.118







125 A 2 2 1. 17 0.118







126 A 1 1 1. 15 0.067







127 A 3 3 0.97 19 0.158







128 A 3 3 0.98 19 0.158







129 A 3 3 1. 19 0.158







130 A 3 3 0.97 19 0.158







131 A 3 3 0.97 19 0.158







132 A 3 3 1. 21 0.143







133 A 3 3 1. 15 0.2







134 A 3 3 1. 13 0.231







135 F 0 0 N/A 0 N/A







136 F 0 0 N/A 0 N/A







137 F 0 0 N/A 0 N/A







138 F 0 0 N/A 0 N/A







139 A 2 1 1. 13 0.077







140 F 0 0 N/A 0 N/A







141 F 0 0 N/A 0 N/A







142 F 0 0 N/A 0 N/A







143 F 0 0 N/A 0 N/A







144 F 0 0 N/A 0 N/A







145 F 0 0 N/A 0 N/A







146 F 0 0 N/A 0 N/A







147 A 3 2 1. 15 0.133







148 F 0 0 N/A 0 N/A







149 F 0 0 N/A 0 N/A







150 F 0 0 N/A 0 N/A







151 F 0 0 N/A 0 N/A







152 F 0 0 N/A 0 N/A







153 F 0 0 N/A 0 N/A







154 F 0 0 N/A 0 N/A







155 F 0 0 N/A 0 N/A







156 F 0 0 N/A 0 N/A







157 F 0 0 N/A 0 N/A







158 F 0 0 N/A 0 N/A







159 F 0 0 N/A 0 N/A







160 F 0 0 N/A 0 N/A







161 F 0 0 N/A 0 N/A







162 A 2 1 1. 17 0.059







163 F 0 0 N/A 0 N/A







164 F 0 0 N/A 0 N/A







165 F 0 0 N/A 0 N/A







166 F 0 0 N/A 0 N/A







167 F 0 0 N/A 0 N/A







168 F 0 0 N/A 0 N/A







169 A 3 2 1. 19 0.105







170 F 0 0 N/A 0 N/A







171 F 0 0 N/A 0 N/A







172 A 3 2 1. 17 0.118







173 A 4 2 1. 17 0.118







174 A 4 2 1. 17 0.118







175 F 0 0 N/A 0 N/A







176 F 0 0 N/A 0 N/A







177 F 0 0 N/A 0 N/A







178 F 0 0 N/A 0 N/A







179 F 0 0 N/A 0 N/A







180 A 13 9 1. 19 0.474







181 A 13 9 1. 19 0.474







182 A 12 8 1. 19 0.421







183 A 12 8 1. 19 0.421







184 A 13 9 1. 19 0.474







185 A 13 9 1. 19 0.474







186 F 0 0 N/A 0 N/A







187 F 0 0 N/A 0 N/A







188 F 0 0 N/A 0 N/A







189 F 0 0 N/A 0 N/A







190 A 2 1 1. 13 0.077







191 F 0 0 N/A 0 N/A







192 F 0 0 N/A 0 N/A







193 F 0 0 N/A 0 N/A







194 F 0 0 N/A 0 N/A







195 F 0 0 N/A 0 N/A







196 F 0 0 N/A 0 N/A







197 F 0 0 N/A 0 N/A







198 A 3 2 1. 15 0.133







199 F 0 0 N/A 0 N/A







200 F 0 0 N/A 0 N/A







201 F 0 0 N/A 0 N/A







202 F 0 0 N/A 0 N/A







203 F 0 0 N/A 0 N/A







204 F 0 0 N/A 0 N/A







205 F 0 0 N/A 0 N/A







206 F 0 0 N/A 0 N/A







207 F 0 0 N/A 0 N/A







208 F 0 0 N/A 0 N/A







209 F 0 0 N/A 0 N/A







210 F 0 0 N/A 0 N/A







211 F 0 0 N/A 0 N/A







212 F 0 0 N/A 0 N/A







213 A 2 1 1. 17 0.059







214 F 0 0 N/A 0 N/A







215 F 0 0 N/A 0 N/A







216 F 0 0 N/A 0 N/A







217 F 0 0 N/A 0 N/A







218 F 0 0 N/A 0 N/A







219 F 0 0 N/A 0 N/A







220 A 3 2 1. 19 0.105







221 F 0 0 N/A 0 N/A







222 F 0 0 N/A 0 N/A







223 A 3 2 1. 17 0.118







224 A 4 2 1. 17 0.118







225 A 4 2 1. 17 0.118







226 F 0 0 N/A 0 N/A







227 F 0 0 N/A 0 N/A







228 F 0 0 N/A 0 N/A







229 F 0 0 N/A 0 N/A







230 F 0 0 N/A 0 N/A







231 A 13 9 1. 19 0.474







232 A 13 9 1. 19 0.474







233 A 12 8 1. 19 0.421







234 A 12 8 1. 19 0.421







235 A 13 9 1. 19 0.474







236 A 13 9 1. 19 0.474







237 A 3 3 1. 15 0.2







238 A 3 3 1. 13 0.231







239 A 3 3 1. 11 0.273







240 A 2 1 1. 15 0.067







241 A 3 3 1. 15 0.2







242 A 3 3 1. 15 0.2







243 A 3 3 1. 17 0.176







244 A 3 3 1. 15 0.2







245 A 3 3 1. 13 0.231







246 A 3 2 1. 17 0.118







247 A 3 3 1. 17 0.176







248 A 3 3 1. 17 0.176







249 A 3 3 1. 15 0.2







250 A 3 3 1. 13 0.231







251 A 3 2 1. 17 0.118







252 A 3 3 1. 17 0.176







253 A 3 3 1. 17 0.176







254 A 3 3 1. 15 0.2







255 A 3 3 1. 13 0.231







256 A 3 1 1. 17 0.059







257 A 3 3 1. 17 0.176







258 A 3 3 1. 17 0.176







259 C 7 3 4.27 44 0.068







260 C 3 3 1.33 31 0.097







261 A 3 3 1. 17 0.176







262 A 3 3 0.83 17 0.176







263 A 3 3 1. 17 0.176







264 A 3 3 1. 23 0.13







265 A 3 3 1. 23 0.13







266 A 3 3 1. 15 0.2







267 A 3 2 1. 19 0.105







268 A 3 3 1. 15 0.2







269 A 4 3 1. 19 0.158







270 A 3 3 1. 15 0.2







271 A 4 3 1. 19 0.158







272 A 3 3 1. 15 0.2







273 A 3 2 1. 19 0.105







274 A 3 3 1. 15 0.2







275 A 4 3 1. 19 0.158







276 A 3 3 1. 15 0.2







277 A 4 3 1. 19 0.158







278 A 3 3 1. 17 0.176







279 A 3 3 1. 17 0.176







280 A 3 3 0.96 15 0.2







281 A 3 3 0.97 19 0.158







282 A 3 3 0.97 19 0.158







283 A 3 3 1. 19 0.158







284 A 3 3 0.98 19 0.158







285 A 3 3 0.97 19 0.158







286 A 3 3 0.96 21 0.143







287 A 3 3 1. 15 0.2







288 A 3 3 1. 13 0.231







289 A 3 3 1. 15 0.2







290 A 3 3 1. 13 0.231







291 A 3 3 1. 11 0.273







292 A 2 1 1. 15 0.067







293 A 3 3 1. 15 0.2







294 A 3 3 1. 15 0.2







295 A 3 3 1. 13 0.231







296 A 3 2 1. 17 0.118







297 A 3 3 1. 13 0.231







298 A 3 2 1. 17 0.118







299 A 3 3 1. 13 0.231







300 A 3 1 1. 17 0.059







301 C 7 3 4.1 44 0.068







302 C 3 3 1.29 31 0.097







303 A 3 3 1. 17 0.176







304 A 3 3 0.88 17 0.176







305 A 3 3 1. 17 0.176







306 A 3 3 1. 23 0.13







307 A 3 3 1. 23 0.13







308 A 3 3 1. 15 0.2







309 A 3 2 1. 19 0.105







310 A 3 3 1. 15 0.2







311 A 4 3 1. 19 0.158







312 A 3 3 1. 15 0.2







313 A 4 3 1. 19 0.158







314 A 3 3 1. 15 0.2







315 A 3 2 1. 19 0.105







316 A 3 3 1. 15 0.2







317 A 4 3 1. 19 0.158







318 A 3 3 1. 15 0.2







319 A 4 3 1. 19 0.158







320 A 3 3 1. 21 0.143







321 A 3 3 1. 21 0.143







322 A 3 3 0.96 19 0.158







323 A 3 3 0.97 19 0.158







324 A 3 3 0.97 19 0.158







325 A 3 3 1. 19 0.158







326 A 3 3 0.98 19 0.158







327 A 3 3 0.97 19 0.158







328 A 3 3 0.96 21 0.143







329 A 3 3 1. 15 0.2







330 A 3 3 1. 13 0.231